poss-consistent(i;T;s;ev;R)
== (pe-loc(ev) = i & (discrete state@i r T)) c (R(s,pe-state(ev))) 

latex

---

clarification:

poss-consistent(i;T;s;ev;R)
== (pe-loc(ev) = i  Id & (es-dstate(pe-es(ev);i) r T)) c (R(s,pe-state(ev))) 

latex

Definitions	A c B, P & Q, s = t, Id, pe-loc(p), discrete state@i, pe-es(e), f(a), pe-state(p)
FDL editor aliases	poss-consistent